need of abstract algebra